package com.ece750.client.channel;

import com.google.gwt.core.client.JavaScriptObject;

public class Socket extends JavaScriptObject {
    protected Socket() {
    }
    
    /**
     * Closes this socket to incoming messages from the server. The socket cannot
     * be used again after calling close; the server must create a new socket.
     */
    public final native void close() /*-{
      this.close();
    }-*/;

}
